get (one's) ticket punched